Modeling and Analyzing using ASMs: the Landing Gear System case study
نویسندگان
چکیده
The paper presents an Abstract State Machine (ASM) specification of the Landing Gear System case study, and shows how the ASMETA framework can be used to support the modeling and analysis (validation and verification) activities for developing a rigorous and correct model in terms of ASMs. We exploit the two fundamental concepts of the ASM method, i.e., the notion of ground model and the refinement principle, and we achieve model development and model analysis by the combined use of formal methods for specification and for verification.
منابع مشابه
Mathematical Model and Vibration Analysis of Aircraft with Active Landing Gear System using Linear Quadratic Regulator Technique
This paper deals with the study and comparison of passive and active landing gear system of the aircraft and dynamic responses due to runway irregularities while the aircraft is taxying. The dynamic load and vibration caused by the unevenness of runway will result in airframe fatigue, discomfort of passengers and the reduction of the pilot’s ability to control the aircraft. One of the objectiv...
متن کاملConceptual Design of Single-Acting Oleo-Pneumatic Shock Absorber in Landing Gear with Combined Method
Landing gear is a structure that is mounted under the fuselage and helps the aircraft in takeoffs and landings. The most important duty of landing gear is the control of vibration exerted on the system through the shock absorber which is a common component to all the landing gear. Considering the importance of this issue, the necessity of investigating shock absorber with features such as high ...
متن کاملOscillation Control of Aircraft Shock Absorber Subsystem Using Intelligent Active Performance and Optimized Classical Techniques Under Sine Wave Runway Excitation (TECHNICAL NOTE)
This paper describes third aircraft model with 2 degrees of freedom. The aim of this study is to develop a mathematical model for investigation of adoptable landing gear vibration behavior and to design Proportional Integration Derivative (PID) classical techniques for control of active hydraulic nonlinear actuator. The parameters of controller and suspension system are adjusted according to be...
متن کاملIntegrated Landing Gear System Retraction/Extension Analysis Using ADAMS
In recent years a clear trend has developed in the aerospace industry towards the procurement of integrated systems from major suppliers (ref. 1). In this process, Messier-Dowty became a provider of integrated landing gear systems who is responsible for supplying a certifiable landing gear system and providing all the system level performance analysis. The aircraft landing gear system retractio...
متن کاملDynamic Response Analysis of Generic Nose Landing Gear as Two DOF System
Landing gear is a structural component of an aircraft to support the weight while it is on the ground and also to aid safe landing. A generic analytic model for linear dynamic analysis of landing gears, which captures responses of individual components, is seldom available in literature. In the present work an analytical model for the linear response analysis of landing gear is developed. The l...
متن کامل